Formal specification - PDFSEARCH.IO - Document Search Engine

Formal specification
Results: 233

#	Item
201	EHR-IIS Interoperability Enhancement Project Transport Layer Protocol Recommendation Formal Specification Add to Reading List Source URL: www.cdc.gov Language: English - Date: 2014-06-06 07:21:18 Medical informatics Health informatics Health Level 7 SOAP Web Services Description Language Communications protocol Web service Transport Layer Security Message Transmission Optimization Mechanism Computing Information Data
202	ETSI EG[removed]V2[removed]ETSI Guide Methods for Testing and Specification (MTS); Guidelines for the use of formal SDL as a descriptive tool Add to Reading List Source URL: portal.etsi.org Language: English - Date: 2012-04-20 04:09:00 Reference Computing ISO standards Abstract Syntax Notation One Specification and Description Language Encoding Control Notation Message Sequence Chart European Telecommunications Standards Institute ITU-T Diagrams Standards organizations Evaluation
203	ETSI TECHNICAL REPORT ETR 298 September 1996 Add to Reading List Source URL: portal.etsi.org Language: English - Date: 2012-04-20 04:04:43 Information Data Specification and Description Language ITU-T Abstract Syntax Notation One ISO standards Formal methods Message Sequence Chart International Telecommunication Union Diagrams Computing OSI protocols
204	Specifying and Verifying Systems With TLA+ Leslie Lamport Microsoft Research John Matthews HP Labs Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Information Theoretical computer science Model checking Formal methods Temporal logic of actions Temporal logic Leslie Lamport Specification language Communications protocol Concurrency Computing Computer science
205	Specification of Distributed Systems with a Combination of Graphical and Formal Languages ∗ Einar B. Johnsen Department of Informatics University of Oslo, Norway [removed] Add to Reading List Source URL: publications.nr.no Language: English - Date: 2011-02-11 06:14:51 Software development ISO standards Diagrams Knowledge representation Unified Modeling Language Software design Modeling language Class diagram Interface Software engineering Computing Object-oriented programming
206	2 A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification Professor Joseph Sifakis, http://www-verimag.imag.fr/~sifakis, is a Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Turing Award laureates Formal methods Joseph Sifakis Cybernetics Systems theory Component-based software engineering Model checking Turing Award Amir Pnueli Computer science Science Software engineering
207	Replying to an examination report What is a patent examination report? An examination report is a formal letter written by a patent examiner who has assessed (examined) whether your application (and specification) compli Add to Reading List Source URL: www.iponz.govt.nz Language: English Law Patent examiner Intellectual Property Office of New Zealand Civil law Property law Patent prosecution Patent offices Japanese patent law Patent law United States patent law Patent application
208	Microsoft PowerPoint - Laurent_12_Dec Add to Reading List Source URL: www.eurocadastre.org Language: English - Date: 2009-01-30 07:38:32 Validity Formal methods Evaluation Software engineering Validation Technology Specification Software development process Quality Science Pharmaceutical industry
209	TWG presentation-PCC meeting[removed]v2 Add to Reading List Source URL: www.eurocadastre.org Language: English - Date: 2008-07-11 04:09:28 Technology Pharmaceutical industry Validity Software requirements Formal methods Specification Validation Software development process Requirement Quality Software development Science
210	Microsoft Word - guidance reference specification_re3_July_clean.doc Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2012-03-20 16:48:48 Evaluation Product development Specification Technology Management Validation Formal specification Quality Standards Technical communication

UPDATE